"Ugo Montanari" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers ... Computer Science and General Issues)

Andrea Corradini, Ugo Montanari

Категория: Компьютеры

4.56 Mb

#2

Algebra and Coalgebra in Computer Science: Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings (Lecture Notes in Computer Science)

Till Mossakowski, Ugo Montanari, Magne Haveraaen

4.46 Mb

#3

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

Pierpaolo Degano, Rocco de Nicola, José Meseguer

Категория: Computer Science, Computer Science

24.22 Mb

#4

Formal methods in software and systems modeling: essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday

Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer

5.14 Mb

#5

Automata, Languages and Programming, 27 conf., ICALP 2000

Ugo Montanari, Jose D.P. Rolim, Emo Welzl

Категория: Cs_Computer science, CsLn_Lecture notes

7.15 Mb

#6

TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development

Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari

Категория: Cs_Computer science, CsLn_Lecture notes

16.10 Mb

#7

Principles and Practice of Constraint Programming, CP'95 1 conf., CP'95

Ugo Montanari, Francesca Rossi

Категория: Cs_Computer science, CsLn_Lecture notes

6.16 Mb

#8

CONCUR '96, Concurrency Theory, 7 conf

Ugo Montanari, Vladimiro Sassone

Категория: Cs_Computer science, CsLn_Lecture notes

6.19 Mb

#9

Formal Methods in Software and Systems Modeling

Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer

Категория: CsLn_

4.30 Mb

#10

Trustworthy Global Computing, 2 conf., TGC 2006

Ugo Montanari, Donald Sannella, Roberto Bruni

Категория: CsLn_

3.47 Mb

#11

Algebra and Coalgebra in Computer Science: Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings

Till Mossakowski, Ugo Montanari, Magne Haveraaen

5.21 Mb

#12

Graph Transformations: Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings

Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg

8.12 Mb